@book{alma993284873502466,
author = {Harper, Robert.},
address = {Edinburgh},
booktitle = {A type discipline for program modules},
keywords = {ML (Computer program language)},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-28},
title = {A type discipline for program modules / by Robert Harper, Robin Milner and Mads Tofte.},
year = {1987},
}

@misc{alma993258983502466,
author = {Widdowson, Roderick.},
address = {Edinburgh},
booktitle = {An investigation into stretchable cells for scale},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 181-85},
title = {An investigation into stretchable cells for scale / by Roderick Widdowson.},
year = {1985},
}

@book{alma99821303502466,
address = {Edinburgh},
keywords = {IMP (Computer Program Language)},
language = {eng},
organization = {University of Edinburgh. Department of Computer Science.},
publisher = {University of Edinburgh, Department of Computer Science},
series = {Edinburgh Multi-Access Project},
title = {Programming in Imp.},
year = {1966},
}

@book{alma993173103502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Extended ML : an institution-independent framework for formal program development},
keywords = {Programming languages (Electronic computers)},
language = {eng},
publisher = {University of Edinburgh. Department of Computer Science},
series = {ECS-LFCS- ; 86-16},
title = {Extended ML : an institution-independent framework for formal program development / by Donald Sannella and Andrzej Tarlecki.},
year = {1986},
}

@book{alma993258243502466,
address = {Edinburgh},
language = {eng},
organization = {Clan Systems Ltd.},
publisher = {University of Edinburgh},
series = {CSR- ; 196-85},
title = {LAYOUT formatting language : reference manual.},
year = {1985},
}

@book{alma998971873502466,
author = {Coe, P. S.},
address = {Edinburgh},
booktitle = {HASE: an environment for hardware/software codesign},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-41-98},
title = {HASE: an environment for hardware/software codesign / P.S. Coe ... [et al.]},
year = {1998},
}

@book{alma998971853502466,
author = {Knafla, Nils.},
address = {Edinburgh},
booktitle = {Page versus object prefetching: a performance evaluation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSG Report series ; ECS-CSG-43-98},
title = {Page versus object prefetching: a performance evaluation / Nils Knafla.},
year = {1998},
}

@book{alma994470493502466,
author = {Ibbett, Roland N.},
address = {Edinburgh},
booktitle = {Final report on the DTI-funded awareness initiative in object oriented computing},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 21-92},
title = {Final report on the DTI-funded awareness initiative in object oriented computing / by R.N. Ibbett.},
year = {1992},
}

@book{alma995677743502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Lambda calculus},
language = {eng},
publisher = {[University of Edinburgh]},
series = {Programming-Lecture ; 7},
title = {Lambda calculus / R.M. Burstall.},
year = {1969},
}

@book{alma994189583502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Simple translation-invariant concepts are hard to learn},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 12-91},
title = {Simple translation-invariant concepts are hard to learn / by Mark Jerrum.},
year = {1991},
}

@misc{alma99830813502466,
author = {Adams, John Colin.},
address = {Edinburgh},
booktitle = {Performance, measurement and evaluation of time-shared operating systems},
language = {eng},
publisher = {Department of Computer Science, University of Edinburgh},
title = {Performance, measurement and evaluation of time-shared operating systems / John Colin Adams.},
year = {1977},
}

@book{alma994742093502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Parallel programming, list homomorphisms and the maximum segment sum problem},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 25-93},
title = {Parallel programming, list homomorphisms and the maximum segment sum problem / by Murray Cole.},
year = {1993},
}

@book{alma994742083502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {List homomorphic parallel algorithms for bracket matching},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 29-93},
title = {List homomorphic parallel algorithms for bracket matching / by Murray Cole.},
year = {1993},
}

@book{alma993514403502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {A language of specified programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 148-83},
title = {A language of specified programs / by Andrzej Tarlecki.},
year = {1983},
}

@book{alma993513893502466,
author = {Cohn, Avra Jean.},
address = {Edinburgh},
booktitle = {The equivalence of two semantic definitions : a case study in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 76-81},
title = {The equivalence of two semantic definitions : a case study in LCF / by Avra Cohn.},
year = {1981},
}

@book{alma993514413502466,
author = {Tarlecki, Andrzej.},
address = {Edinburgh},
booktitle = {Free constructions in algebraic institutions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 149-83},
title = {Free constructions in algebraic institutions / by Andrzej Tarlecki.},
year = {1983},
}

@book{alma993514723502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {Power domains and predicate transformers : a topological view},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 126-83},
title = {Power domains and predicate transformers : a topological view / by M.B. Smyth.},
year = {1983},
}

@book{alma993513683502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {Database systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 43-79},
title = {Database systems / by Malcolm Atkinson.},
year = {1979},
}

@book{alma993514523502466,
author = {Schoett, Oliver.},
address = {Edinburgh},
booktitle = {A theory of program modules, their specification and implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 155-83},
title = {A theory of program modules, their specification and implementation / by Oliver Schoett.},
year = {1982},
}

@book{alma993514123502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {Two-dimensional syntax for functional languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 115-82},
title = {Two-dimensional syntax for functional languages / by Luca Cardelli.},
year = {1982},
}

@book{alma993514333502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {A model for nondeterministic machines},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 135-83},
title = {A model for nondeterministic machines / by M. Hennessy.},
year = {1983},
}

@book{alma993513703502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {Applications of algebraic completeness to problems of network reliability and monomer-dimer systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 45-79},
title = {Applications of algebraic completeness to problems of network reliability and monomer-dimer systems / by Mark Jerrum.},
year = {1979},
}

@book{alma993514433502466,
author = {Traub, Niklas Gerard.},
address = {Edinburgh},
booktitle = {A LISP based CIRCAL environment},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 152-83},
title = {A LISP based CIRCAL environment / by Niklas Traub.},
year = {1983},
}

@book{alma993513913502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {A term model for synchronous processes},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 77-81},
title = {A term model for synchronous processes / by Matthew Hennessy.},
year = {1981},
}

@book{alma993513723502466,
author = {Holtzman, Steven R.},
address = {Edinburgh},
booktitle = {GGDL : generative grammar definitional language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 56-80},
title = {GGDL : generative grammar definitional language / by S.R. Holtzman.},
year = {1980},
}

@book{alma993513933502466,
author = {Cardelli, Luca.},
address = {Edinburgh},
booktitle = {Sticks & stones : an applicative VLSI design language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 85-81},
title = {Sticks & stones : an applicative VLSI design language / by Luca Cardelli.},
year = {1981},
}

@book{alma993513823502466,
author = {Fürer, Martin.},
address = {Edinburgh},
booktitle = {The complexity of Presburger arithmetic with bounded quantifier-alternation depth},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 70-80},
title = {The complexity of Presburger arithmetic with bounded quantifier-alternation depth / by Martin Fürer.},
year = {1980},
}

@book{alma993514053502466,
author = {Kalorkoti, K. A.},
address = {Edinburgh},
booktitle = {A lower bound for the formula size of rational functions},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 106-82},
title = {A lower bound for the formula size of rational functions / by K.A. Kalorkoti.},
year = {1982},
}

@book{alma993513833502466,
author = {Kennedy, R. J.},
address = {Edinburgh},
booktitle = {A student user's guide to VAX : version 1.01},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 71-80},
title = {A student user's guide to VAX : version 1.01 / by R.J. Kennedy.},
year = {1980},
}

@book{alma993514273502466,
author = {Backhouse, Roland C. (Roland Carl)},
address = {Edinburgh},
booktitle = {Specification and proof of a regular language recogniser in synchronous CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 130-83},
title = {Specification and proof of a regular language recogniser in synchronous CCS / by Roland Backhouse.},
year = {1983},
}

@book{alma993514373502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {The complexity of finding minimum-length generator sequences},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 139-83},
title = {The complexity of finding minimum-length generator sequences / by Mark Jerrum.},
year = {1983},
}

@book{alma993513953502466,
author = {Jensen, Finn V.},
address = {Edinburgh},
booktitle = {An LCF-system for automatic creation of theories for 1-constructable data types},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 87-81},
title = {An LCF-system for automatic creation of theories for 1-constructable data types / Finn V. Jensen.},
year = {1981},
}

@book{alma993514803502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {A proof theoretic characterization of observational equivalence},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 132-83},
title = {A proof theoretic characterization of observational equivalence / by Colin Stirling.},
year = {1983},
}

@book{alma993514283502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Axiomatising finite delay operators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 124-82},
title = {Axiomatising finite delay operators / by Matthew Hennessy.},
year = {1982},
}

@book{alma993514493502466,
author = {Hennessy, Matthew.},
address = {Edinburgh},
booktitle = {Modelling finite delay operators},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 153-83},
title = {Modelling finite delay operators / by M.C.B. Hennessy.},
year = {1983},
}

@book{alma993514593502466,
author = {Li, Wei.},
address = {Edinburgh},
booktitle = {A syntax-directed approach for implementing the rendezvous mechanism in Ada},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 161-84},
title = {A syntax-directed approach for implementing the rendezvous mechanism in Ada / by Wei Li.},
year = {1984},
}

@book{alma993968383502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Introduction to the second Posie report},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 6-90},
title = {Introduction to the second Posie report / by Rob Pooley.},
year = {1990},
}

@book{alma994335763502466,
author = {Cole, Murray Irwin.},
address = {Edinburgh},
booktitle = {Graph reduction and pipelined parallel algorithms},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 18-91},
title = {Graph reduction and pipelined parallel algorithms / by Murray Cole.},
year = {1991},
}

@book{alma993257913502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Markov's principle, isols and Dedekind finite sets},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 202-86},
title = {Markov's principle, isols and Dedekind finite sets / by Charles McCarty.},
year = {1986},
}

@book{alma993258323502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {Modal logics for communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 193-85},
title = {Modal logics for communicating systems / by Colin Stirling.},
year = {1985},
}

@book{alma993257903502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Constructive validity is nonarithmetic},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 203-86},
title = {Constructive validity is nonarithmetic / by Charles McCarty.},
year = {1986},
}

@book{alma993257823502466,
author = {McCarty, Charles.},
address = {Edinburgh},
booktitle = {Variations on a thesis : intuitionism and computability},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 245-87},
title = {Variations on a thesis : intuitionism and computability / by Charles McCarty.},
year = {1987},
}

@book{alma993257813502466,
author = {Pezzè, Mauro.},
address = {Edinburgh},
booktitle = {Behavioural abstraction and circuit verification using CIRCAL},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 251-87},
title = {Behavioural abstraction and circuit verification using CIRCAL / Mauro Pezze'.},
year = {1987},
}

@book{alma993257993502466,
author = {Davie, Bruce S.},
address = {Edinburgh},
booktitle = {Hardware description languages : some recent developments},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 198-86},
title = {Hardware description languages : some recent developments / by B.S. Davie.},
year = {1986},
}

@book{alma993258413502466,
author = {Stirling, Colin.},
address = {Edinburgh},
booktitle = {A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 189-85},
title = {A compositional reformulation of Owicki-Gries's partial correctness for a parallel while language / by Colin Stirling.},
year = {1985},
}

@book{alma993257863502466,
author = {Rothwell, Nicholas John.},
address = {Edinburgh},
booktitle = {SILVER : the language and its implementation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 206-86},
title = {SILVER : the language and its implementation / by Nick Rothwell.},
year = {1986},
}

@book{alma993257963502466,
author = {Langlois, Laurent.},
address = {Edinburgh},
booktitle = {Parallel parsing on an array of processors},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 200-86},
title = {Parallel parsing on an array of processors / by Laurent Langlois.},
year = {1986},
}

@book{alma993258373502466,
author = {Norrie, Moira C. (Moira Constable)},
address = {Edinburgh},
booktitle = {The Edinburgh node of the Proteus distributed database system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 191-85},
title = {The Edinburgh node of the Proteus distributed database system / by Moira Norrie.},
year = {1985},
}

@book{alma993257643502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {A data structure for systems of orthogonal, non-overlapping rectangles},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 239-87},
title = {A data structure for systems of orthogonal, non-overlapping rectangles / Mark Jerrum.},
year = {1987},
}

@book{alma993257873502466,
author = {Blake, Andrew.},
address = {Edinburgh},
booktitle = {On the geometric information obtainable from simultaneous observation of stereo contour and shading},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 205-86},
title = {On the geometric information obtainable from simultaneous observation of stereo contour and shading / by Andrew Blake.},
year = {1986},
}